GBLD: A Formal Model for Layout Description and Generation
نویسندگان
چکیده
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatible with geometric layout formats, such as GDSII or CIF. However, it is more powerful and more concise. The layouts represented by GBLD are sizeable, parameterised, and can incorporate design rules. GBLD has the potential to be used as a format for analog layout templates, analog layout retargeting, as well as the final layout format.
منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملAn Analysis of English and Persian Academic Written Discourses in Human Sciences: An Evolutionary Account
The present paper focused on the sociocultural explanations of rhetorical differences between English and Persian and was based on the contrastive genre analysis of Applied Linguistics research article abstracts in these two languages. The evolutionary nature of research article abstracts was also investigated from 1985 to 2005, in three stages, with a time interval of 10 years. Seventy eight r...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کاملReduction of Target Fault List for Crosstalk-Induced Delay Faults by using Layout Constraints
We propose a method of identifying a set of crosstalk induced delay faults which may need to be tested in synchronous sequential circuits. During the fault list generation 1) we take into account all clocking effects, and 2) infer layout information from the logic level description. With regard to layout constraints we introduce two methods, namely the distance based layout constraint and the c...
متن کامل